Software verification

Results: 1531



#Item
51Automatic Software Verification Instructor: Mooly Sagiv TA: Oded Padon Slides from Eran Yahav and the Noun Project, Wikipedia

Automatic Software Verification Instructor: Mooly Sagiv TA: Oded Padon Slides from Eran Yahav and the Noun Project, Wikipedia

Add to Reading List

Source URL: www.cs.tau.ac.il

- Date: 2015-03-10 03:57:45
    52Automatic Software Verification April 28, 2015 Lecture 7: Introduction to Abstract Interpretation Lecturer: Mooly Sagiv, TA: Oded Padon

    Automatic Software Verification April 28, 2015 Lecture 7: Introduction to Abstract Interpretation Lecturer: Mooly Sagiv, TA: Oded Padon

    Add to Reading List

    Source URL: www.cs.tau.ac.il

    - Date: 2015-05-26 12:25:53
      53TRANSACTIONS ON CAD 1 A Survey of Automated Techniques for Formal Software Verification

      TRANSACTIONS ON CAD 1 A Survey of Automated Techniques for Formal Software Verification

      Add to Reading List

      Source URL: www.cs.tau.ac.il

      - Date: 2015-01-20 02:28:40
        54Automatic Software Verification April 28, 2015 Lecture 6: Bounded Model Checking Lecturer: Mooly Sagiv

        Automatic Software Verification April 28, 2015 Lecture 6: Bounded Model Checking Lecturer: Mooly Sagiv

        Add to Reading List

        Source URL: www.cs.tau.ac.il

        - Date: 2015-05-27 01:40:48
          55Automatic Software Verification Lecture 5 Symbolic vs. Concrete Testing

          Automatic Software Verification Lecture 5 Symbolic vs. Concrete Testing

          Add to Reading List

          Source URL: www.cs.tau.ac.il

          - Date: 2015-05-25 11:10:35
            56Proof-Carrying Apps: Contract-Based Deployment-Time Verification⋆ Sönke Holthusen, Michael Nieke, Thomas Thüm, and Ina Schaefer Institute of Software Engineering and Automotive Informatics TU Braunschweig, Germany {s

            Proof-Carrying Apps: Contract-Based Deployment-Time Verification⋆ Sönke Holthusen, Michael Nieke, Thomas Thüm, and Ina Schaefer Institute of Software Engineering and Automotive Informatics TU Braunschweig, Germany {s

            Add to Reading List

            Source URL: www.isf.cs.tu-bs.de

            - Date: 2016-08-15 09:53:47
              57Mechanized Verification of Fine-grained Concurrent Programs st * Consi PLDI *

              Mechanized Verification of Fine-grained Concurrent Programs st * Consi PLDI *

              Add to Reading List

              Source URL: software.imdea.org

              - Date: 2015-05-02 09:36:58
                58Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Template-based Program Verification and Program Synthesis Saurabh Srivastava? and Sumit Gulwani?? and Jeffrey S. Foster???

                Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Template-based Program Verification and Program Synthesis Saurabh Srivastava? and Sumit Gulwani?? and Jeffrey S. Foster???

                Add to Reading List

                Source URL: www.cs.umd.edu

                - Date: 2012-01-04 08:56:48
                  59Automatic Software Verification Spring Semester, 2015 Lecture 2: March 20, 2015 Lecturer: Prof. Mooly Sagiv

                  Automatic Software Verification Spring Semester, 2015 Lecture 2: March 20, 2015 Lecturer: Prof. Mooly Sagiv

                  Add to Reading List

                  Source URL: www.cs.tau.ac.il

                  - Date: 2015-05-25 10:50:37
                    60Automatic Software Verification Spring Semester, 2015 Lecture 8: May 5, 2015 Lecturer: Prof. Mooly Sagiv

                    Automatic Software Verification Spring Semester, 2015 Lecture 8: May 5, 2015 Lecturer: Prof. Mooly Sagiv

                    Add to Reading List

                    Source URL: www.cs.tau.ac.il

                    - Date: 2015-06-26 11:40:49